From 6c60312d85ab8d9d6313e3c28f4d73196421559f Mon Sep 17 00:00:00 2001
From: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Date: Sun, 5 Oct 2025 22:04:07 +0200
Subject: [PATCH] correctly access file extension via boost::filesystem

Extension() is a method for a path object.

Last-Update: 2025-09-22
Forwarded: https://bitbucket.org/fenics-project/mshr/pull-requests/19


Gbp-Pq: Name boost_filesystem_extension.patch
---
 app/mshrable.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/mshrable.cpp b/app/mshrable.cpp
index 1f90a9e..e663bbe 100644
--- a/app/mshrable.cpp
+++ b/app/mshrable.cpp
@@ -125,7 +125,7 @@ int main(int argc, char** argv)
 
     if (vm.count("polyout"))
     {
-      std::string extension = boost::filesystem::extension(vm["polyout"].as<std::string>());
+      std::string extension = boost::filesystem::path(vm["polyout"].as<std::string>()).extension().string();
 
       if (extension != ".off")
       {
-- 
2.30.2